-
1 доказательство от противного
Русско-английский словарь по машиностроению > доказательство от противного
-
2 доказательство от противного
Русско-английский словарь по электронике > доказательство от противного
-
3 доказательство от противного
Русско-английский словарь по радиоэлектронике > доказательство от противного
-
4 доказательство от противного
Русско-английский математический словарь > доказательство от противного
-
5 доказательство от противного
Russian-English Dictionary "Microeconomics" > доказательство от противного
-
6 доказательство от противного
Русско-английский словарь по информационным технологиям > доказательство от противного
-
7 доказательство
proof матем.* * *доказа́тельство с.
proofиме́ется [существу́ет] доказа́тельство, что … — there is evidence that …не приводя́ доказа́тельств — without proofдоказа́тельство предлага́ется привести́ чита́телю — proof will be left to the readerдедукти́вное доказа́тельство — deductive proofко́свенное доказа́тельство — indirect proofдоказа́тельство ме́тодом математи́ческой инду́кции — proof by perfect inductionнесводи́мое доказа́тельство — irreducible proofнестро́гое доказа́тельство — nonrigorous proofдоказа́тельство от проти́вного — proof by contradictionдоказа́тельство перебо́ром всех возмо́жных значе́ний переме́нных — proof by exhaustionстро́гое доказа́тельство — rigorous proofдоказа́тельство существова́ния — existence proof* * * -
8 доказательство от противного
Русско-английский научный словарь > доказательство от противного
-
9 доказательство от противного
Русско-английский новый политехнический словарь > доказательство от противного
-
10 доказательство от противного
1) Engineering: indirect proof2) Mathematics: ( by) reductio ad absurdum proof, (proof) by contradiction, proof by contradiction, proof by reduction to absurdity3) Law: negative proof, proof from the contrary4) Makarov: negative demonstration, r.a.a. proofУниверсальный русско-английский словарь > доказательство от противного
-
11 доказательство от обратного
Mathematics: proof by contradiction, proof by contradiction, (by) reductio ad absurdum proof, reductio ad absurdum proofУниверсальный русско-английский словарь > доказательство от обратного
-
12 доказательство
с. proofСинонимический ряд:свидетельство (сущ.) подтверждение; свидетельство; указаниеАнтонимический ряд: -
13 доказательство
2) evidence (научные данные, признаки)Русско-английский словарь терминов по микробиологии > доказательство
-
14 от противного
Русско-английский словарь по информационным технологиям > от противного
-
15 доказательство от противного
1) proof by contradiction
2) reductio ad absurdum proofРусско-английский технический словарь > доказательство от противного
-
16 противный
adj. opposite, contrary; (доказательство) от противного, (proof) by contradiction; в противном случае, otherwise; если не оговорено противное, unless otherwise statedРусско-английский словарь математических терминов > противный
-
17 доказательство методом от противного
Programming: proof by contradictionУниверсальный русско-английский словарь > доказательство методом от противного
-
18 от противного
1) Mathematics: ( proof) by contradiction, ad absurdum (доказательство), ex adverso (доказательство), ex contrario (доказательство)2) Religion: a contrario (Latin for "on the contrary") -
19 доказательство от противного
reductio ad absurdum, proof by contradictionРусско-английский физический словарь > доказательство от противного
-
20 противный
adj. opposite, contrary; (доказательство) от противного, (proof) by contradiction;
в противном случае - otherwise;
если не оговорено противное - unless otherwise stated
- 1
- 2
См. также в других словарях:
proof by contradiction — noun Proof of a statement adduced by deriving a contradiction from the statements negation. Syn: reductio ad absurdum … Wiktionary
Contradiction — In classical logic, a contradiction consists of a logical incompatibility between two or more propositions. It occurs when the propositions, taken together, yield two conclusions which form the logical, usually opposite inversions of each other.… … Wikipedia
Proof of Bertrand's postulate — In mathematics, Bertrand s postulate (actually a theorem) states that for each n ≥ 2 there is a prime p such that n < p < 2 n . It was first proven by Pafnuty Chebyshev, and a short but advanced proof was given by Srinivasa Ramanujan. The gist of … Wikipedia
Proof that e is irrational — In mathematics, the series representation of Euler s number e : e = sum {n = 0}^{infty} frac{1}{n!}!can be used to prove that e is irrational. Of the many representations of e, this is the Taylor series for the exponential function e y evaluated… … Wikipedia
Proof that the sum of the reciprocals of the primes diverges — In the third century BC, Euclid proved the existence of infinitely many prime numbers. In the 18th century, Leonhard Euler proved a stronger statement: the sum of the reciprocals of all prime numbers diverges. Here, we present a number of proofs… … Wikipedia
Proof by assertion — is a logical fallacy in which a proposition is repeatedly restated regardless of contradiction. Sometimes this may be repeated until challenges dry up, at which point it is asserted as fact due to its not being contradicted (argumentum ad… … Wikipedia
Proof of impossibility — A proof of impossibility, sometimes called a negative proof or negative result , is a proof demonstrating that a particular problem cannot be solved, or cannot be solved in general. Often proofs of impossibility have put to rest decades or… … Wikipedia
Proof complexity — In computer science, proof complexity is a measure of efficiency of automated theorem proving methods that is based on the size of the proofs they produce. The methods for proving contradiction in propositional logic are the most analyzed. The… … Wikipedia
Proof sketch for Gödel's first incompleteness theorem — This article gives a sketch of a proof of Gödel s first incompleteness theorem. This theorem applies to any formal theory that satisfies certain technical hypotheses which are discussed as needed during the sketch. We will assume for the… … Wikipedia
Proof that π is irrational — Although the mathematical constant known as pi; (pi) has been studied since ancient times, and so has the concept of irrational number, it was not until the 18th century that π was proved to be irrational.In the 20th century, proofs were found… … Wikipedia
contradiction — The conjunction of a proposition and its negation . The law of non contradiction provides that no such conjunction can be true: not (p & not p ). The standard proof of the inconsistency of a set of propositions or sentences is to show that a… … Philosophy dictionary